return "LanguageOptionsRecord", {
  "allowDoDecls",
  "allowExtendedNumConsts",
  "allowExtendedTextConsts",
  "allowLineComments",
  "allowOptBar",
  "allowOptSemicolon",
  -- "allowOrPats",
  "allowRecordPunExps",
  "allowSigWithtype",
  "allowVectorExps",
  "allowVectorPats",
  -- "allowPatternGuards",
  -- "allowConjunctivePats",
  -- "allowNestedMatches",
  "allowRecordExtension",
  "allowRecordUpdate",
  "allowUtfEscapeSequences",
  "allowHexFloatConsts",
  "allowValRecTyVars",
  "allowValTyVarsRec",
  "allowFreeTyVarsInTypeDec",
  "allowWhereAndType",
  "allowPrim",
  "allowBindEqual",
  "allowOverload",
  "allowInfixingDot",
  "nonexhaustiveBind",
  "nonexhaustiveMatch",
  "nonexhaustiveRaise",
  "redundantBind",
  "redundantMatch",
  "redundantRaise",
  "sequenceNonUnit",
  "valDescInComments",
}
